<lift:surround with="default" at="content">
	<h2>Input</h2>
	<div>
	<table>
		<tr>
			<td>Types:</td>
			<td colspan="2"><lift:Eqt.types_ /></td>
		</tr>
		<tr>
			<td>Goals:</td>
			<td><lift:Eqt.goal1_ /></td>
			<td><lift:Eqt.goal2_ /></td>
		</tr>
		<tr>
			<td>Definitions:</td>
			<td colspan="2"><lift:Eqt.defs_ /></td>
		</tr>
	</table>
	</div>
	<lift:Eqt.result />
</lift:surround>